This article explores the role of surface ambiguities in referring expressions, and how the risk of such ambiguities should be taken into account by an algorithm that generates referring expressions, if these expressions are to be optimally effective for a hearer. We focus on the ambiguities that arise when adjectives occur in coordinated structures. The central idea is to use statistical information about lexical co-occurrence to estimate which interpretation of a phrase is most likely for human readers, and to avoid (...) generating phrases where misunderstandings are likely. Various aspects of the problem were explored in three experiments in which responses by human participants provided evidence about which reading was most likely for certain phrases, which phrases were deemed most suitable for particular referents, and the speed at which various phrases were read. We found a preference for ‘‘clear’’ expressions to ‘‘unclear’’ ones, but if several of the expressions are ‘‘clear,’’ then brief expressions are preferred over non-brief ones even though the brief ones are syntactically ambiguous and the non-brief ones are not; the notion of clarity was made precise using Kilgarriff's Word Sketches. We outline an implemented algorithm that generates noun phrases conforming to our hypotheses. (shrink)

This article explores the role of surface ambiguities in referring expressions, and how the risk of such ambiguities should be taken into account by an algorithm that generates referring expressions, if these expressions are to be optimally effective for a hearer. We focus on the ambiguities that arise when adjectives occur in coordinated structures. The central idea is to use statistical information about lexical co‐occurrence to estimate which interpretation of a phrase is most likely for human readers, and to avoid (...) generating phrases where misunderstandings are likely. Various aspects of the problem were explored in three experiments in which responses by human participants provided evidence about which reading was most likely for certain phrases, which phrases were deemed most suitable for particular referents, and the speed at which various phrases were read. We found a preference for ‘‘clear’’ expressions to ‘‘unclear’’ ones, but if several of the expressions are ‘‘clear,’’ then brief expressions are preferred over non‐brief ones even though the brief ones are syntactically ambiguous and the non‐brief ones are not; the notion of clarity was made precise using Kilgarriff's Word Sketches. We outline an implemented algorithm that generates noun phrases conforming to our hypotheses. (shrink)

Complex fuzzy sets are the novel extension of Zadeh’s fuzzy sets. In this paper, we comprise the introduction to the concept of ξ -complex fuzzy sets and proofs of their various set theoretical properties. We define the notion of α, δ -cut sets of ξ -complex fuzzy sets and justify the representation of an ξ -complex fuzzy set as a union of nested intervals of these cut sets. We also apply this newly defined concept to a physical situation in which (...) one may judge the performance of the participants in a given task. In addition, we innovate the phenomena of ξ -complex fuzzy subgroups and investigate some of their fundamental algebraic attributes. Moreover, we utilize this notion to define level subgroups of these groups and prove the necessary and sufficient condition under which an ξ -complex fuzzy set is ξ -complex fuzzy subgroup. Furthermore, we extend the idea of ξ -complex fuzzy normal subgroup to define the quotient group of a group G by this particular ξ -complex fuzzy normal subgroup and establish an isomorphism between this quotient group and a quotient group of G by a specific normal subgroup G A ξ. (shrink)

The research aims to see as to how identity discourse of national dallies contributes to the process of national integration by analyzing newspapers’ coverage of ethnic issues in the communally-battered Karachi. For the purpose, two major Urdu and English newspapers in Jang and Dawn published in 2007, 2008 and 2009 are selected for textual analysis; with the May 12, 2007 ethnic carnage being in spotlight. The findings are a mixed bag containing both positives and negatives. Apart from increased realization in (...) discourse of both dailies that ethnicity is a problem, Dawn has got no place for nationalistic rhetoric based on one Islamic identity which may have positive implications for national integration. Nonetheless, Jang, as per the findings, is yet to wean itself off the nationalistic rhetoric. (shrink)

Intrinsic goodness is a non-Ielational property, in that the worth of an intrinsically good thing does not consist in it standing in a beneficial relationship to anyone. Except for the non-relational intrinsic goodness, which if it exists must be acknowledged by all (rational) beings, the only relational good we humans can logically and plausibly deem good is the “human-related” good. Thus, only these two options exist: from our human viewpoint, either all good things are human-related goods, or some good things (...) are also intrinsically good. Those theories that reject intrinsic goodness. and that declare that the only kind of good things there can be are the human-related goods, are all forms of feeling-consequentialism. if the (two) “default arguments” could refute all feeling-consequentialisms, they would thereby refute theories that deny the very possibility of intrinsic goodness. Hence they would establish that, so long as a theory holds that some things are indeed good, it must also hold that there exist (also) intrinsically good things. The default arguments do show that utilitarian calculations cannot account for all goodness, since no linkage exists between goodness and pleasure. But some “positive feelings” (let them be X, Y, and Z) can be inextricably linked to what is good. Hence theories that define the good in terms of X, Y. and Z, are not amenable to the criticisms that utilitarianism is. Thus, the default arguments do not establish the impossibility of there being a (non-utilitarian feeling-consequentialist) theory, which acknowledges only human-related good things, and denies intrinsic goodness altogether. The tenability of such a stance has not been ruled out. Moore’s inability to accept the consequences of things having intrinsic worth, further betrays the implausibility of the very concept of intrinsic value. (shrink)

In this article (1) I extract from Brentano’s works (three) formal arguments against “genealogical explanations” of ethical claims. Such explanation can also be designated as “naturalism” (not his appellation); (2) I counter these arguments, by showing how genealogical explanations of even apodictic moral claims are logically possible (albeit only if certain unlikely, stringent conditions are met); (3) I show how Nietzsche’s ethics meets these stringent conditions, but evolutionary ethics does not. My more general thesis is that naturalism and intuitionism in (...) ethics need not be mutually incompatible. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Islam: Religion, History, and CivilizationZain AliIslam: Religion, History, and Civilization. By Seyyed Hossein Nasr. San Francisco: Harper San Francisco, 2003. Pp. 224. Paper $9.71."Islam," writes Seyyed Hossein Nasr, "is like a vast tapestry," and in his book Islam: Religion, History, and Civilization he aims to survey the masterpiece that is Islam. The present work is part of a trilogy including Ideal and Realities of Islam and The Heart (...) of Islam. Nasr states that the common theme in the trilogy "is the universalist perspective and respect for other religions" (p. xxiv). In addition, Nasr clarifies that his approach, as with all of his Islamic writings, is to write from an Islamic perspective, which he terms "traditional Islam" (p. xxiii). Nasr stands opposed to either the secular modernist or fundamentalist perspectives, both of which he regards as forms of extremism.This book, initially published as part of Our Religions, edited by A. Sharma, is significantly revised and includes a new introduction and bibliography. It can best be described as a primer on Islam, consisting of eight chapters that focus on a variety of pertinent themes.Chapter 1 deals with the self-understanding of Islam and the Islamic world. Islam, Nasr notes, sees itself as a return to the primordial faith of humanity, a faith that affirms the unity and oneness of God. This chapter also presents an overview [End Page 495] of the various ethnic and cultural groupings within the Muslim world, and charts the spread and demographic growth of Islam.Chapter 2 introduces the notion of al-din, an Arabic term that corresponds closely to the word "religion." Nasr contrasts the two words, where religion means "to bind" while al-din means "debt" (p. 25). Thus, religion, as framed by Islam, involves the notion of debt, in particular humanity's debt to the Divine. The chapter also discusses the significance of the Qur'an and Muhammad as the messenger of God.Chapter 3 begins with an exposition of the nature of Divinity, which is at the heart of Islamic doctrine. As Nasr explains, the Divine is understood as being "at once the Absolute, the Infinite, and the Perfect Good" (p. 59). The remainder of the chapter deals with various Islamic doctrines and beliefs, including prophecy and revelation, human nature, the Qura'nic view of men and women, and eschatology.Chapter 4 deals with the content, codification, and schools of Shariah, the Divine Law of Islam. There is also an interesting discussion of Sufism, which Nasr claims "is like the heart of the body of Islam" (p. 81). Controversially, Nasr claims that "the spread of Islam outside of the Arab and Persian worlds up to the present day has been mostly through Sufism" (p. 87).Chapter 5 delves into the central pillars of Islam, which accompany the belief in God and in Muhammad as the messenger of God. The pillars are salah (canonical prayer), sawn (fasting), hajj (pilgrimage), and zakah (religious tax or charity). Associated with these pillars is the notion of jihad, and here Nasr writes, "jihad... is usually mistranslated into English as 'holy war,' but literally means 'exertion' or 'effort' in the path of God" (p. 91). Also covered are the topics of family, ethics, and economic and political institutions.Chapter 6 presents the historical evolution of Islam beginning with the migration of Muhammad to Medina, and the events leading to the divide between Sunnis and Shiites.Chapter 7 discusses the early Islamic community, who found themselves in the "throes of disputes over such issues as whether human beings are saved by faith or works, whether there is freewill or determinism, and questions concerning the sacred text as the Word of God" (p. 154). Nasr then explores the various schools of theology and philosophy that arose in order to address these questions of faith.Chapter 8, the final chapter of the book, attempts to evaluate the place of Islam in the contemporary world. Nasr concludes by noting that despite the challenges of secular modernism and fundamentalism the vast majority of Muslims remain committed to the truth of Islam, and bear witness to the Oneness of God and the Oneness of humanity.The one quibble... (shrink)

Operational and financial sustainability have, over time, remained as issues in the microfinance industry. The microfinance industry is struggling to gain self-sufficiency in Pakistan due to non-performing loans and operating costs. Simultaneously, deliberation on corporate social responsibility is also considered in academic literature and organizational practices. However, studies on CSR and financial performance in the microfinance sector are scarce, especially in Pakistan. CSR will develop customer attraction and loyalty, employee attraction, motivation and commitment, MFIs' reputation and access to capital, and (...) eventually build financial performance. Interviews were conducted with branch managers of microfinance institutions to test previous questionnaires. A self-administered survey was conducted to collect data from the managers of the microfinance banks operating in Punjab. Descriptive and inferential statistics were performed to answer research questions using Smart PLS. Most of the microfinance institutions believe in social responsibilities but lacks fund allocation and approval from higher management, and results are in line with prior studies. These empirical findings lead to the perception that CSR is not a barrier performance in microfinance banks as they have access to capital. The results indicated a strong positive correlation between CSR and the financial performance of the MFIs. CSR also positively correlates with customer retention, employees' motivation and attraction, and business reputation. CSR was associated with access to capital but was found to be weak. The research also narrated the limitation and practical implications of the study. The study also discusses further research directions. (shrink)

: The "major Islamic philosophers," writes Deborah Black, "produced no works dedicated to aesthetics, although their writings do address issues that contemporary philosophers might study under that heading." The emergent theme in this essay is that classical Islamic philosophy may be studied within a framework of aesthetics. To achieve this goal, the metaphysics of Abu Hamid al-Ghazālī (1058–1111) and the aesthetics of Arthur Schopenhauer (1788–1860) will be brought together.

Pakistan’s women educational attainment has been the lowest in the entire South Asia; with women and girls continuing to suffer discrimination in the field of education. This study is designed to examine the linkage between gender disparity in education and Pakistan economic success, using annual secondary data to date range 1980 to 2019. Also the study checked the variables integration order by using Dickey-Fuller and Philip-Peron tests apart from utilizing the ARDL bound test technique for long-run co-integration relationship while the (...) direction of causality were tested by using Granger causality. The analyses reflect that a strong adverse influence on growth was the result to be yielded from gender educational disparity in Pakistan. This finding is based on the empirical interpretation such as women educational attainment at primary and secondary levels, government expenditures on education, total secondary education and male secondary education significantly contribute to growth. However, the associations of population growth, total labor force, male education at primary level and total primary education with growth being significantly negative. This study also found long run pair-wise causality from male and female secondary school attainment separately, male primary education, total primary and total secondary education to economic success. (shrink)

In this rather compact book, Ashmore comprehensively examines those elements that are needed to build a well defined ethical theory. Many and varied topics are considered, such as the issue concerning relativity and objectivity in ethics, the relation between morality and law or morality and religion, the distinction between facts and values and metaethical theories on the nature of moral judgments. But the basic focus of the book is to examine four major ethical theories: egoism, utilitarianism, deontological ethics of Kant, (...) and virtue ethics of Aristotle. Of these, only ethical egoism is outrightly rejected, for very good reasons. At the end of each chapter, anywhere from ten to twenty questions of considerable difficulty are asked. The material is well organized, interesting, presented in a language not very technical and examines thoughts of many scholars and thinkers. (shrink)

In this article (1) I extract from Brentano’s works (three) formal arguments against “genealogical explanations” of ethical claims. Such explanation can also be designated as “naturalism” (not his appellation); (2) I counter these arguments, by showing how genealogical explanations of even apodictic moral claims are logically possible (albeit only if certain unlikely, stringent conditions are met); (3) I show how Nietzsche’s ethics meets these stringent conditions, but evolutionary ethics does not. My more general thesis is that naturalism and intuitionism in (...) ethics need not be mutually incompatible. (shrink)

Mohanty is deeply versed in Husserl. In fact, the primary focus of the book is Husserl’s phenomenology. It is a collection of fifteen essays, spanning fourteen years, which were either published in journals or presented at symposia and meetings. As the title indicates, these essays, as a whole, seek to define, elucidate, and defend “transcendental philosophy,” by which is meant basically nothing other than Husserl’s phenomenology.

To determine the knowledge, attitudes and practices regarding organ donation in a selected adult population in Pakistan.

Soon after the first COVID-19 positive case was detected in Wuhan, China, the virus spread around the globe, and in no time, it was declared as a global pandemic by the WHO. Testing, which is the first step in identifying and diagnosing COVID-19, became the first need of the masses. Therefore, testing kits for COVID-19 were manufactured for efficiently detecting COVID-19. However, due to limited resources in the densely populated countries, testing capacity even after a year is still a limiting (...) factor for COVID-19 diagnosis on a larger scale and contributes to a lag in disease tracking and containment. Due to this reason, we started this study to provide a better cost-effective solution for enhancing the testing capacity so that the maximum number of people could get tested for COVID-19. For this purpose, we utilized the approach of artificial neural networks (ANN) to acquire the relevant data on COVID-19 and its testing. The data were analyzed by using Machine Learning, and probabilistic algorithms were applied to obtain a statistically proven solution for COVID-19 testing. The results obtained through ANN indicated that sample pooling is not only an effective way but also regarded as a “Gold standard” for testing samples when the prevalence of the disease is low in the population and the chances of getting a positive result are less. We further demonstrated through algorithms that pooling samples from 16 individuals is better than pooling samples of 8 individuals when there is a high likelihood of getting negative test results. These findings provide ground to the fact that if sample pooling will be employed on a larger scale, testing capacity will be considerably increased within limited available resources without compromising the test specificity. It will provide healthcare units and enterprises with solutions through scientifically proven algorithms, thus, saving a considerable amount of time and finances. This will eventually help in containing the spread of the pandemic in densely populated areas including vulnerably confined groups, such as nursing homes, hospitals, cruise ships, and military ships. (shrink)

One of the open questions in Educational robots is the role a robot should take in the classroom. The current focus in this area is on employing robots as a tool or in an assistive capacity such as the invigilator of an exam. With robots becoming commonplace in the classroom, inquiries will be raised regarding not only their suitability but also their ability to influence and control the morality and behaviour of the students via their presence. Therefore, as a means (...) to test this cross-section of Educational robots with the underlying issue of morality and ethics we conducted an empirical study where the Nao robot invigilated an exam for a group of students. A between-subjects design compared whether Nao was able to deter students from cheating and maintaining their discipline in comparison to a human invigilator or when there was no invigilator present. Our results showed that while explicit cheating rarely took place across all conditions, the students were significantly more talkative when they were invigilated by Nao. In conclusion, we discuss and speculate upon some of the ensuing implications towards not only the application of robots in education but also consequently the wider issue of the preservation of morality and ethics in a classroom in the presence of an agent. (shrink)

Internet-enabled technologies have provided a way for people to communicate and collaborate with each other. The collaboration and communication made crowdsourcing an efficient and effective activity. Crowdsourcing is a modern paradigm that employs cheap labors for accomplishing different types of tasks. The task is usually posted online as an open call, and members of the crowd self-select a task to be carried out. Crowdsourcing involves initiators or crowdsourcers, the crowd, crowdsourcing task, the process, and the crowdsourcing platform where requesters offer (...) various tasks and crowd workers complete these tasks. As the crowdsourcing is carried out in the online environment, it gives rise to certain challenges. The major problem is the selection of crowd that is becoming a challenging issue with the growth in crowdsourcing popularity. Crowd selection has been significantly investigated in crowdsourcing processes. Nonetheless, it has observed that the selection is based only on a single feature of the crowd worker which was not sufficient for appropriate crowd selection. For addressing the problem of crowd selection, a novel “ant colony optimization-based crowd selection method” is presented in this paper that selects a crowd worker based on multicriteria features. By utilizing the proposed model, the efficiency and effectiveness of crowdsourcing activity will be increased. (shrink)

Punctuation has so far attracted attention within the linguistics community mostly from a syntactic perspective. In this paper, we give a preliminary account of the information-based aspects of punctuation, drawing our points from assorted, naturally occurring sentences. We present our formal models of these sentences and the semantic contributions of punctuation marks. Our formalism is a simplified analogue of an extension --- due to Nicholas Asher --- of Discourse Representation Theory.

We take em-dash as our sample punctuation mark and examine its usage from a discourse perspective, using sentences from well-known corpora. We particularly comment on how dashes can give hints on information structure, focus, and anaphora. Throughout the paper Discourse Representation Theory is used as a framework.

We offer a preliminary account of the information-based aspects of punctuation marks. We give our initial treatment within the Discourse Representation Theory and its segmented version. We hypothesize that this work will be useful in classifying the informational contributions of punctuation marks and bringing them to bear on the semantic characterization of written discourse.

BackgroundThe principles of informed consent, confidentiality and privacy are often neglected during patient care in developing countries. We assessed the degree to which doctors in Lahore adhere to these principles during outpatient consultations.Material & MethodThe study was conducted at medical out-patient departments (OPDs) of two tertiary care hospitals (one public and one private hospital) of Lahore, selected using multi-stage sampling. 93 patients were selected from each hospital. Doctors' adherence to the principles of informed consent, privacy and confidentiality was observed through (...) client flow analysis performed by trained personnel. Overall patient perception was also assessed regarding these practices and was compared with the assessment made by our data collectors.ResultsSome degree of informed consent was obtained from only 9.7% patients in the public hospital and 47.8% in the private hospital. 81.4% of patients in the public hospital and 88.4% in the private hospital were accorded at least some degree of privacy. Complete informational confidentiality was maintained only in 10.8% and 35.5% of cases in public & private hospitals respectively. Informed consent and confidentiality were better practiced in the private compared to the public hospital (two-sample t-test > 2, p value < 0.05). There was marked disparity between the patients' perspective of these ethical practices and the assessment of our trained data collectors.ConclusionObservance of medical ethics is inadequate in hospitals of Lahore. Doctors should be imparted formal training in medical ethics and national legislation on medical ethics is needed. Patients should be made aware of their rights to medical ethics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Islam: Religion, History, and CivilizationZain AliIslam: Religion, History, and Civilization. By Seyyed Hossein Nasr. San Francisco: Harper San Francisco, 2003. Pp. 224. Paper $9.71."Islam," writes Seyyed Hossein Nasr, "is like a vast tapestry," and in his book Islam: Religion, History, and Civilization he aims to survey the masterpiece that is Islam. The present work is part of a trilogy including Ideal and Realities of Islam and The Heart (...) of Islam. Nasr states that the common theme in the trilogy "is the universalist perspective and respect for other religions" (p. xxiv). In addition, Nasr clarifies that his approach, as with all of his Islamic writings, is to write from an Islamic perspective, which he terms "traditional Islam" (p. xxiii). Nasr stands opposed to either the secular modernist or fundamentalist perspectives, both of which he regards as forms of extremism.This book, initially published as part of Our Religions, edited by A. Sharma, is significantly revised and includes a new introduction and bibliography. It can best be described as a primer on Islam, consisting of eight chapters that focus on a variety of pertinent themes.Chapter 1 deals with the self-understanding of Islam and the Islamic world. Islam, Nasr notes, sees itself as a return to the primordial faith of humanity, a faith that affirms the unity and oneness of God. This chapter also presents an overview [End Page 495] of the various ethnic and cultural groupings within the Muslim world, and charts the spread and demographic growth of Islam.Chapter 2 introduces the notion of al-din, an Arabic term that corresponds closely to the word "religion." Nasr contrasts the two words, where religion means "to bind" while al-din means "debt" (p. 25). Thus, religion, as framed by Islam, involves the notion of debt, in particular humanity's debt to the Divine. The chapter also discusses the significance of the Qur'an and Muhammad as the messenger of God.Chapter 3 begins with an exposition of the nature of Divinity, which is at the heart of Islamic doctrine. As Nasr explains, the Divine is understood as being "at once the Absolute, the Infinite, and the Perfect Good" (p. 59). The remainder of the chapter deals with various Islamic doctrines and beliefs, including prophecy and revelation, human nature, the Qura'nic view of men and women, and eschatology.Chapter 4 deals with the content, codification, and schools of Shariah, the Divine Law of Islam. There is also an interesting discussion of Sufism, which Nasr claims "is like the heart of the body of Islam" (p. 81). Controversially, Nasr claims that "the spread of Islam outside of the Arab and Persian worlds up to the present day has been mostly through Sufism" (p. 87).Chapter 5 delves into the central pillars of Islam, which accompany the belief in God and in Muhammad as the messenger of God. The pillars are salah (canonical prayer), sawn (fasting), hajj (pilgrimage), and zakah (religious tax or charity). Associated with these pillars is the notion of jihad, and here Nasr writes, "jihad... is usually mistranslated into English as 'holy war,' but literally means 'exertion' or 'effort' in the path of God" (p. 91). Also covered are the topics of family, ethics, and economic and political institutions.Chapter 6 presents the historical evolution of Islam beginning with the migration of Muhammad to Medina, and the events leading to the divide between Sunnis and Shiites.Chapter 7 discusses the early Islamic community, who found themselves in the "throes of disputes over such issues as whether human beings are saved by faith or works, whether there is freewill or determinism, and questions concerning the sacred text as the Word of God" (p. 154). Nasr then explores the various schools of theology and philosophy that arose in order to address these questions of faith.Chapter 8, the final chapter of the book, attempts to evaluate the place of Islam in the contemporary world. Nasr concludes by noting that despite the challenges of secular modernism and fundamentalism the vast majority of Muslims remain committed to the truth of Islam, and bear witness to the Oneness of God and the Oneness of humanity.The one quibble... (shrink)

We consider countable so‐called rich subsemigroups of ; each such semigroup T gives a variety CPEAT that is axiomatizable by a finite schema of equations taken in a countable subsignature of that of ω‐dimensional cylindric‐polyadic algebras with equality where substitutions are restricted to maps in T. It is shown that for any such T, if and only if is representable as a concrete set algebra of ω‐ary relations. The operations in the signature are set‐theoretically interpreted like in polyadic equality set (...) algebras, but such operations are relativized to a union of cartesian spaces that are not necessarily disjoint. This is a form of guarding semantics. We show that CPEAT is canonical and atom‐canonical. Imposing an extra condition on T, we prove that atomic algebras in CPEAT are completely representable and that CPEAT has the super amalgamation property. If T is rich and finitely represented, it is shown that CPEAT is term definitionally equivalent to a finitely axiomatizable Sahlqvist variety. Such semigroups exist. This can be regarded as a solution to the central finitizability problem in algebraic logic for first order logic with equality if we do not insist on full fledged commutativity of quantifiers. The finite dimensional case is approached from the view point of guarded and clique guarded (relativized) semantics of fragments of first order logic using finitely many variables. Both positive and negative results are presented. (shrink)

An interpolation Theorem is proved for first order logic with infinitary predicates. Our proof is algebraic via cylindric algebras.1.

We generalize two classical results on cylindric algebra to certain expansions of cylindric algebras where the extra operations are defined via first order formulas. The first result is the Neat Embedding Theorem of Henkin and the second is Monk's classical non-finitizability result of the class of representable algebras. As a corollary we obtain known classical results of Johnson and Biro published in the Journal of Symbolic logic.

We prove an Omitting Types Theorem for certain algebraizable extensions of first order logic without equality studied in [SAI 00] and [SAY 04]. This is done by proving a representation theorem preserving given countable sets of infinite meets for certain reducts of ?- dimensional polyadic algebras, the so-called G polyadic algebras (Theorem 5). Here G is a special subsemigroup of (?, ? o) that specifies the signature of the algebras in question. We state and prove an independence result connecting our (...) representation theorem to Martin's axiom (Theorem 6). Also we show that the countable atomic G polyadic algebras are completely representable (Corollary 16) contrasting results on cylindric algebras. Several related results are surveyed. (shrink)

SC, CA, QA and QEA denote the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasi-polyadic algebras and quasi-polyadic equality algebras, respectively. Let ω ≤ α < β and let K ∈ {SC,CA,QA,QEA}. We show that the class of α -dimensional neat reducts of algebras in Kβ is not elementary. This solves a problem in [3]. Also our result generalizes results proved in [2] and [3].

We survey various results on the relationship among neat embeddings (a notion special to cylindric algebras), complete representations, omitting types, and amalgamation. A hitherto unpublished application of algebraic logic to omitting types of first-order logic is given.

Handwritten text recognition is considered as the most challenging task for the research community due to slight change in different characters’ shape in handwritten documents. The unavailability of a standard dataset makes it vaguer in nature for the researchers to work on. To address these problems, this paper presents an optical character recognition system for the recognition of offline Pashto characters. The problem of the unavailability of a standard handwritten Pashto characters database is addressed by developing a medium-sized database of (...) offline Pashto characters. This database consists of 11352 character images. Enriched feature extraction techniques of histogram of oriented gradients and zoning-based density features are used for feature extraction of carved Pashto characters. K-nearest neighbors is considered as a classification tool for the proposed algorithm based on the proposed feature sets. A resultant accuracy of 80.34% is calculated for the histogram of oriented gradients, while for zoning-based density features, 76.42% is achieved using 10-fold cross validation. (shrink)

A recent initiative at Muffakham Jah College of Engineering and Technology, Hyderabad, India, has resulted in setting up a program called Centre for Environment Studies and Socioresponsive Engineering which seeks to involve undergraduate students in studying and solving environmental problems in and around the city of Hyderabad, India. Two pilot projects have been undertaken — one focusing on design and construction of an eco-friendly house, The Natural House, and another directed at improving environmental and general living conditions in a slum (...) area. The paper describes our attempts and experience of motivating our students to take interest in such projects. In an interesting development we invited a member of a student-faculty team at Massachusetts Institute of Technology (M.I.T.) that is doing a project in Nepal on safe drinking water. We report in our paper how the presentation by the guest from M.I.T. served as a catalyst for generating interest among civil and mechanical engineering students in our own projects. The paper includes contributions from one of our students and the M.I.T. staff member, reporting on their experiences related to the slum development project. (shrink)

We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n w via special neat embeddings. We prove an independence result connecting cylindric algebra to Martin''s axiom. Finally we apply our results to finite-variable first order logic showing that Henkin and Orey''s omitting types theorem fails for L n, the first order logic restricted to the first n variables when 2 #lt; n#lt;w. L n has been recently (and quite extensively) studied as a (...) many-dimensional modal logic. (shrink)

We present a property of neat reducts commuting with forming subalgebras as a definability condition.

Looking at the operation of forming neat $\alpha $ -reducts as a functor, with $\alpha $ an infinite ordinal, we investigate when such a functor obtained by truncating $\omega $ dimensions, has a right adjoint. We show that the neat reduct functor for representable cylindric algebras does not have a right adjoint, while that of polyadic algebras is an equivalence. We relate this categorial result to several amalgamation properties for classes of representable algebras. We show that the variety of cylindric (...) algebras of infinite dimension, endowed with the merry go round identities, fails to have the amalgamation property answering a question of Németi’s. We also study two variants of the so-called cylindric polyadic algebras introduced by Ferenczi (all are reducts of polyadic equality algebras, that are also varieties). We show that one is more cylindric than polyadic, and that the other is more polyadic than cylindric. Our classification is determined by results on neat embeddings and amalgamation expressed from the point of view of category theory, thereby witnessing, and, indeed, further emphasizing, the dichotomy between the cylindric and polyadic paradigms. For example, the first class does not have the unique neat embedding property, fails to have the amalgamation property and the neat reduct functor does not have a right adjoint, while the second class has the unique neat emdedding property, the superamalgamation property and the neat reduct functor is strongly invertible. Other results, like first order definability of the class of neat reducts and the class of completely representable algebras, confirming our classification along these lines are presented. (shrink)

We review, and in the process unify two techniques , for proving results concerning amalgamation in several classes studied in algebraic logic. The logical counterpart of these results adress interpolation and definability properties in modal and algebraic logic. Presenting them in a functorial context as adjoint situations, we show that both techniques can indeed be seen as instances of the use of the Keisler-Shelah ultrapower Theorem in proving Robinson's Joint Consistency Theorem. Some new results are surveyed. The results of this (...) paper are presented in such a way that further establishes the hitherto existing well developed duality theory between boolean algebras with operators and modal logic. (shrink)

As climate change continues to be a pressing issue affecting businesses, firms are taking proactive measures by integrating carbon considerations into their overall strategic planning for environmental sustainability. Nonetheless, the question of whether it pays to be green remains inconclusively answered. Based on an analysis of the 200 largest public listed firms by market capitalisation in Malaysia, the findings indicated that most of the firms are still reactive in managing their carbon activities; however, corporate carbon strategy does, indeed, lead to (...) better financial performance. The findings reaffirmed that going green pays off, particularly for firms with higher levels of foreign ownership. Interestingly, an inverse relationship was observed among firms with higher levels of government shareholdings. Additionally, the firms have been categorised into six different groups based on their scope and level of corporate carbon strategies, ranging from “wait-and-see” to “all-round explorer” classifications. Taken together, these findings enrich corporate carbon and sustainability literature and offer insights into theoretical and policy implications, along with suggestions for future research. (shrink)

Some recent studies in computational linguistics have aimed to take advantage of various cues presented by punctuation marks. This short survey is intended to summarise these research efforts and additionally, to outline a current perspective for the usage and functions of punctuation marks. We conclude by presenting an information-based framework for punctuation, influenced by treatments of several related phenomena in computational linguistics.

Let \(2 (...) It is shown that \(\mathbf{K_n}\) is not finitely axiomatizable and that it coincides with the class of atomic algebras in the elementary closure of \(\mathbf{S_c}{\sf Nr}_n{\sf CA}_{\omega}\) where \(\mathbf{S_c}\) is the operation of forming complete subalgebras. For any class \(\mathbf{L}\) such that \({\sf At}{\sf Nr}_n{\sf CA}_{\omega}\subseteq \mathbf{L}\subseteq {\sf At}\mathbf{K_n}\), it is proved that \({\bf SP}\mathfrak{Cm}\mathbf{L}={\sf RCA}_n\), where \({\sf Cm}\) is the dual operator to \(\sf At\); that of forming complex algebras. It is also shown that any class \(\mathbf{K}\) between \({\sf CRCA}_n\cap \mathbf{S_d}{\sf Nr}_n{\sf CA}_{\omega}\) and \(\mathbf{S_c}{\sf Nr}_n{\sf CA}_{n+3}\) is not first order definable, where \(\mathbf{S_d}\) is the operation of forming dense subalgebras, and that for any \(2shrink)

The philosophy of Bruno Latour has given us one of the most important statements on the part played by technology in the ordering of the human collective. Typically presented as a radical departure from mainstream social thought, Latour is not without his intellectual creditors: Michel Serres and, through him, René Girard. By tracing this development, we are led to understand better the relationship of Latour’s work, and Actor-Network Theory more generally, to traditional sociological concerns. By doing so we can also (...) hope to understand better the role that objects play in structuring society. (shrink)